Issue1609e.agda:3,15-15
Issue1609e.agda:3,15: Illegal: rewrite in type signature
<EOF><ERROR>
...
